Lógica II

Ejercicios 2

1. Nombra extensionalmente, si es posible, los siguientes conjuntos:

A = {x / x es par menor que 10}

B = {x / x es un satélite natural de la Tierra v x es secretario general de la ONU}

C = {x / x es un número natural & x es rojo}

D = {x / x es un número primo}

2. Nombra intensionalmente los siguientes conjuntos:

A = {1, 2, 3, 5, 7}

B = {Suárez, Calvo-Sotelo, González, Áznar}

C = {-2, 2}

3. Ejercicios de Badesa et al., pp. 21-23

4. Demostrar las siguientes propiedades de la inclusión:

Para todo A: A Í A

Ø Í A

A Í Ø syss A = Ø

si A ≠ Ø entonces Ø Ì A

Para ningún A: A Ì A

Para todo A, B: A = B syss A Í B y B Í A

A = B syss A Í B y no B Í A

Para todo A, B, C: si A Í B y B Í C entonces A Í C

si A Í B y B Ì C entonces A Ì C

si A Ì B y B Í C entonces A Ì C

5. Si A = {3, 5, 7}, nombra por enumeración Pot A.